Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
馃摝 Module Systems
ML Modules, Functors, Signatures, Separate Compilation, OCaml
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
9644
posts in
229.6
ms
Railway
Oriented
Programming
fsharpforfunandprofit.com
路
1d
路
Discuss:
Hacker News
馃摑
Nix Language
How I Built My Project in
Haskell
dev.to
路
15h
路
Discuss:
DEV
位
Functional Programming
Memory-Safe
Jule
language
emerges
as C/C++ alternative
thenewstack.io
路
22h
鈿欙笍
Compiler Design
Week 1: Why did I start learning Rust?
vitaliihonchar.com
路
1d
路
Discuss:
r/programming
馃敩
Static Analysis
SEAL: Symbolic Execution with
Separation
Logic (Competition
Contribution
)
arxiv.org
路
2d
馃З
Separation Logic
The Next Big Language (2007) by
Steve
Yegge
steve-yegge.blogspot.com
路
7h
路
Discuss:
Hacker News
鈿欙笍
Compiler Design
[
RFC
PATCH v1 0/4] Machine Learning (
ML
) library in Linux kernel
lore.kernel.org
路
1d
路
Discuss:
Lobsters
,
Hacker News
馃敡
Unikernel Development
impl Rust: Avro
IDL
tool in Rust via
ANTLR
youtube.com
路
1d
路
Discuss:
Hacker News
,
r/rust
馃惈
Embedded OCaml
A Quick
Introduction
to
OxCaml
noelwelsh.com
路
4d
路
Discuss:
Hacker News
馃惈
Embedded OCaml
The Machine
Learned
Our Language
medium.com
路
1d
路
Discuss:
r/programming
馃摎
Automata Learning
Recursive
Deductive
Verification: A framework for reducing AI
hallucinations
news.ycombinator.com
路
1h
路
Discuss:
Hacker News
馃搻
Hoare Logic
Introduction to
Abject-Oriented
Programming (2007)
typicalprogrammer.com
路
34m
路
Discuss:
Hacker News
馃敜
Language Design
Building Interactive C/C++ workflows in Jupyter through
Clang-REPL
[video]
fosdem.org
路
23h
路
Discuss:
Hacker News
鈿欙笍
Compiler Design
C and C++
dependencies
, don't
dream
it, be it!
nibblestew.blogspot.com
路
21h
路
Discuss:
Hacker News
,
nibblestew.blogspot.com
馃摝
OPAM
Chasing a Zig
AVR
Segfault
Down to LLVM
sourcery.zone
路
19h
路
Discuss:
r/Zig
馃惈
Embedded OCaml
creact-labs/creact
:
CReact
is a meta-runtime for building domain-specific,
reactive
execution engines.
github.com
路
10h
路
Discuss:
r/node
,
r/reactjs
馃敡
ppx
Extracting
Xcode
's Claude Code Prompt
jackpearce.co.uk
路
14h
路
Discuss:
Hacker News
馃捇
CLI Tools
I built a Python
LSP
in Go!
reddit.com
路
14h
路
Discuss:
r/golang
馃彚
Jane Street Core
Jacob
Boxerman
- Declarative,
Reproducible
Emacs with straight.el and use-package
jakebox.github.io
路
1d
路
Discuss:
Lobsters
,
Hacker News
鉂勶笍
NixOS
LLMs could be, but
shouldn
't be
compilers
alperenkeles.com
路
2d
路
Discuss:
Lobsters
,
Hacker News
鈿欙笍
Compiler Design
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help